how to use geometric leg theorem